Minimum Ellipsoid Bounds for Solutions of Polynomial Systems via Sum of Squares
نویسندگان
چکیده
Abstract. We study ellipsoid bounds for the solutions (x,μ)∈Rn×Rr of polynomial systems of equalities and inequalities. The variable μ can be considered as parameters perturbing the solution x. For example, bounding the zeros of a system of polynomials whose coefficients depend on parameters is a special case of this problem. Our goal is to find minimum ellipsoid bounds just for x. Using theorems from real algebraic geometry, the ellipsoid bound can be found by solving a particular polynomial optimization problem with sums of squares (SOS) techniques. Some numerical examples are also given.
منابع مشابه
Semidefinite Characterization of Sum-of-Squares Cones in Algebras
We extend Nesterov’s semidefinite programming characterization of squared functional systems to cones of sum-of-squares elements in general abstract algebras. Using algebraic techniques such as isomorphism, linear isomorphism, tensor products, sums and direct sums, we show that many concrete cones are in fact sum-of-squares cones with respect to some algebra, and thus representable by the cone ...
متن کاملOn the Bit Complexity of Sum-of-Squares Proofs
It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one exists via the Ellipsoid algorithm. In [16], Ryan O’Donnell notes this widely quoted claim is not necessarily true. He presents an example of a polynomial system with bounded coefficients that admits low-degree proofs of non-negativity, but these proofs necessarily involve numbers with an exponen...
متن کاملAn Incremental DC Algorithm for the Minimum Sum-of-Squares Clustering
Here, an algorithm is presented for solving the minimum sum-of-squares clustering problems using their difference of convex representations. The proposed algorithm is based on an incremental approach and applies the well known DC algorithm at each iteration. The proposed algorithm is tested and compared with other clustering algorithms using large real world data sets.
متن کاملCSC 5160 : Combinatorial Optimization and Approximation Algorithms
To illustrate this technique, we give an alternate proof that the natural linear program for bipartite perfect matching is integral. Then we study the classical minimum spanning tree problem, and see how to attack this problem using linear programming. In fact, an exponential size LP will be used for the minimum spanning tree problem. First we will show how to solve this exponential size LP via...
متن کاملStability Region Analysis using composite Lyapunov functions and Sum of Squares Programming
We propose using (bilinear) sum-of-squares programming for obtaining inner bounds of regionsof-attraction and outer bounds of attractive invariant sets for dynamical systems with polynomial vector fields. We search for composite Lyapunov functions, comprised of pointwise maximums and pointwise minimums of polynomial functions. Excellent results for some examples are obtained using the proposed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Global Optimization
دوره 33 شماره
صفحات -
تاریخ انتشار 2005